<?php
// 安全地获取用户输入的文件名
$filename = $_GET['file'];
include $filename;
?>